一阶逻辑完备性定理的新代数证明

给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。     

计算复特征灵敏度的代数法

对于复特征灵敏度分析问题，文中给出了一种代数法求解公式。从理论分析的角度来说，所提出的方法既适全于单频，也适合于重频。为了说明算法的数值稳定性，文中给出了严格的数学证明。     

微分代数控制问题的数值计算方法

描述许多轨道控制问题的方程通常构成非线性半显式的微分代数系统。本文提出一些数值方法来计算这些控制问题的控制规律。对于一个模型问题,本文进行了稳定性分析,并且给出了稳定性区域。文中估计了这些方法的全局误差,它们给出控制误差与计算步长的关系。     

基于代数变换求解P0阵线性互补问题的不可行内点算法

基于代数变换和KMM算法的框架,通过在牛顿方程中嵌入一种自调节功能,提出了一种新的求解P0阵线性互补问题的不可行内点算法,并证明了该算法的全局收敛性.     

高能重离子碰撞中氦碎片分布的KNO标度无关性研究

本文从簇射粒子分布的 KNO 标度无关性出发,导出了高能重离子碰撞中α粒子分布的 KNO 标度无关性公式.由公式计算的α粒子分布与实验结果相一致.     

实代数数的代数表达式的符号判定

将符号计算方法与数值计算方法结合起来应用于计算机代数领域,构造了一种判定实代数数的代数表达式的符号的算法,并在计算机数学系统上加以实现,算法的基本思想是对每一个实代数数ａ定义了一个二元组（Ｉ,ｆ（ｘ））,其中Ｉ是包含ａ的区间,ｆ（ｘ）是ａ所满足的多项式,并将代数数的运算转化为对应的二元组的运算,同时结合多项式的根的最短距离估计式,从而达到对代数数的代数表达式进行符号判定的目的。     

k阶伴随矩阵C*k(AB)的性质

对于给定的数域F上的n阶矩阵A,给出并证明了k阶子式阵Ck(AB)的伴随矩阵C*k(AB)的一个性质:C*k(AB)=C*k(B)C*k(A),从而使一般意义下的伴随矩阵的性质(AB)*=(B)*(A)*得到推广.     

基于抽象语法描述的中间表示技术

中间表示技术是高质量可重定目标编译器开发中的关键技术。针对嵌入式软件危机 ,提出了一种基于抽象语法描述的中间表示技术 AIR。AIR以代数数据类型为主体 ,并用面向对象特征对其进行扩展。在这种中间表示技术中 ,通过使用不受限制的高级中间表示 ,可充分利用现有的前端。通过这种语法能对现有中间表示提供自然编码的抽象中间表示 ,提高了编译成份的可复用性和互操作性 ,简化了编译基础设施的建构 ,进一步实现了高质量编译器的快速开发     

图的代数连通度及其点连通度

G是一个简单图.a(G),k(G)分别为G的代数连通度和点连通度,该文刻画了满足a(G)=k(G)的图.G=(V,E)是一个n阶简单图,点连通度为k(G)≤[n/2].H是G的任意最小点割集,则a(G)=k(G)当且仅当对任意u∈H和v∈V\H,有uv∈E.     

On Algebraic Differential Equations

研究了一般形式的代数微分方程的全纯解的增长性，并证明了几个有关定理。证明是根据一个关于Ｗｉｍａｎ－Ｖａｌｉｒｏｎ理论的定理